#pragma once
#include "stdint.h"
void systick_init(uint64_t ticks);